
#include "inc/lm4f120h5qr.h"
#include <stdlib.h>
#include <stdio.h>

#include "inc/hw_types.h"
#include "inc/hw_ints.h"
#include "inc/hw_memmap.h"
#include "driverlib/interrupt.h"
#include "driverlib/gpio.h"
#include "driverlib/rom.h"
#include "driverlib/rom_map.h"
#include "driverlib/sysctl.h"
#include "driverlib/timer.h"
#include "driverlib/adc.h"

#include "inc/hw_sysctl.h"
#include "inc/hw_gpio.h"	//for unlocking
#include "definitions.h"
#include "uart.h"
#include "circbuffer.h"
#include "messages.h"

#ifndef RAMPDOWNTIMER_H_
#define RAMPDOWNTIMER_H_

#include "masterIncludes.h"

void timer3Handler(void);
void initTimer3(void);

#endif /* RAMPDOWNTIMER_H_ */
